9ab7739e3a1e39c9a2725b7fe19487ee1dc848f9,src/org/uecide/Editor.java,TreeMouseListener,mousePressed,#MouseEvent#,1684
Before Change
// Otherwise it might be a library. This generates the menu entries for a
// library object.
} else if(o.getUserObject().getClass().equals(Library.class)) {
final Library lib = (Library)(o.getUserObject());
JMenuItem item = new JMenuItem("Delete cached archive");
item.setEnabled(loadedSketch.libraryIsCompiled(lib));
After Change
// Otherwise it might be a library. This generates the menu entries for a
// library object.
} else if(o.getUserObject() instanceof Library) {
final Library lib = (Library)(o.getUserObject());
JMenuItem item = new JMenuItem("Delete cached archive");
item.setEnabled(loadedSketch.libraryIsCompiled(lib));